41. Degrees of unsolvability
پدیدآورنده: Shoenfield, Joseph Robert
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Logic, Symbolic and mathematical,، Recursive functions,، Unsolvability )Mathematical logic(
رده :
QA
9
.
S518
42. Degrees of unsolvability
پدیدآورنده : Sacks, Gerald E.
موضوع : ، Recursive functions
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
43. Elementary induction on abstract structure
پدیدآورنده: Moschovakis, Yiannis N
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Recursive functions,، Induction )Mathematics(
رده :
QA
248
.
5
.
M67
44. Elementary induction on abstract structures
پدیدآورنده : Moschovakis, Yiannis N.
موضوع : ، Recursive functions,، Induction )Mathematics(
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
45. Elementary induction on abstract structures
پدیدآورنده: Moschovakis, Yiannis N.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Recursive functions,، Induction )Mathematics(
رده :
QA
248
.
5
.
M67
46. Elementary induction on abstract structures
پدیدآورنده: / Yiannis N. Moschovakis
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع: Recursive functions,Induction (Mathematics)
رده :
511
.
2
M896
47. Enumerability, decidability, computability. An introduction to the theory of recursive functions
پدیدآورنده: Harmes, Hans
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Recursive functions,، Algebraithms,، Godel's theorem
رده :
QA
248
.
5
.
H413
1969
48. Enumerability, decidability, computability; an introduction to the theory of recursive functions
پدیدآورنده : Hermes, Hans.
موضوع : ، Recursive functions
۳ نسخه از این کتاب در ۲ کتابخانه موجود است.
49. Enumerability decidability computability : an introduction to the theory of recursive functions
پدیدآورنده: Hermes, Hans
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Recursive functions,، Algorithms,، Godel's theorem
رده :
QA
248
.
5
.
H413
1969
50. Formal systems and recursive functions /
پدیدآورنده: edited by J.N. Crossley and M.A.E. Dummett.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical, Congresses.,Recursive functions, Congresses.,Fonctions récursives.,Logique symbolique et mathématique.,Fonctions récursives-- Congrès.,Logic, Symbolic and mathematical.,Logique symbolique et mathématique-- Congrès.,Recursive functions.
رده :
QA9
.
615
.
F67
1965
51. Fundamentals of computation theory; proceedings of the 1977 International FCT-Conference, Poznan-Kornik, Poland, 19-23 Sept 1977
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Congresses ، Recursive Functions
رده :
QA
248
.
5
.
I5
52. Generalized recursion theory. Proceedings of the 1972 Oslo symposium
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Recursive functions
رده :
QA
248
.
5
.
S93
1972
53. Generalized recursion theory; proceedings of the 1972 Oslo Symposium
پدیدآورنده: / edited by J. E. Fenstad and P. G. Hinman
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع: Recursive functions
رده :
515
.
25
S989
1972
54. Introduction to computability
پدیدآورنده : Hennie, Fredreick C
موضوع : ، Turing machies,، Algorithms,، Recursive Functions
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
55. Introduction to computability
پدیدآورنده: Hennie, Frederick C.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Turing machines,، Algorithms,، Computational complexity,، Recursive functions
رده :
QA
267
.
H46
56. Introduction to the theory of computation
پدیدآورنده : Engeler, Erwin.
موضوع : ، Sequential machine theory,، Recursive functions,، Formal languages
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
57. Lecons sur les fonctions calculables
پدیدآورنده: / par V. A. Quspendki. Traduit du russe par Andre Chauvin
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع: Recursive functions
رده :
Q
111
A3
58. Lecons sur les fonctions calculables
پدیدآورنده: Uspenskii, Vladimir Andreevich
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Recursive functions
رده :
Q
111
.
A3
no
.
1317
59. Logic Colloquim 77. Proceedings of the Colloquium held in Wroclaw, August 1977
پدیدآورنده: Logic Colloquium, Wroclaw, Poland
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Logic, Symbolic and mathematical-- Congresses,، Recursive functions-- Congresses
رده :
QA
9
.
A1
.
L63
1977
60. Minimum impatience theorems for recorsive economic models
پدیدآورنده: Gerhard Sorger
کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)
موضوع: Recursive functions
رده :
QA
9
.
615
.
S6
,
M5
